homotopy operations

同伦运算